Décision de la cohérence des réseaux de contraintes qualitatives combinés

Décomposition arborescente et cohérence locale souple dans les CSP pondérés

Plusieurs approches récentes pour résoudre les modèles graphiques (réseaux Bayésiens avec contraintes) exploitent simultanément une décomposition du graphe et le maintien d’une propriété de cohérence locale. La décomposition de graphe exploite la structure du problème, offrant des bornes sur la complexité spatiale et temporelle, tandis que la propagation des contraintes dures conduit en pratiqu...

La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie

Modélisation de réseaux biologiques discrets en programmation logique par contraintes

RÉSUMÉ. Des outils informatiques sont nécessaires au développement de la biologie systémique pour analyser qualitativement la dynamique des réseaux d’interaction. Dans ce contexte, notre objectif est de développer un outil autour d’une spécification unique qui permette aux biologistes dans un contexte de connaissances incomplètes et qualitatives, (i) d’inférer des modèles à partir de propriétés...

Cohérences Locales Paramétrées ∗

Les solveurs de contraintes maintiennent uniformément le même niveau de cohérence locale (généralement la cohérence d’arc) indépendamment de l’instance du problème à résoudre. Nous proposons le concept de cohérence locale paramétrée, une approche originale qui permet d’ajuster le niveau de cohérence locale en fonction de l’instance du problème à résoudre et en fonction de la partie du problème ...

Extension des cohérences WCSP aux tuples

Dans cet article, nous présentons un nouveau type de propriétés pour les réseaux de contraintes pondérées (WCNs pour Weighted Constraint networks). Il s’agit de la cohérence de tuples (TC) dont l’établissement sur un WCN est effectué grâce à une nouvelle opération appelée TupleProject. Nous proposons également une version “optimale” de cette propriété, OTC, qui peut être perçue comme une généra...